class db_add extends FunBuiltin("db_add",2){
  override def exec(pr:Prog):Int={
    var db:DataBase = ((getArg(0).asInstanceOf[ScalaObject]).toObject()).asInstanceOf[DataBase]
    var a:Term = getArg(1)
    var key:String = a.getKey()
    if(key == null)
      return 0
    db.out(key,a)
    return 1    
  }
}
